- проверка подстановкой
- controllo per sostituzione
Dictionnaire technique russo-italien. 2013.
Dictionnaire technique russo-italien. 2013.
ГОСТ Р 50779.10-2000: Статистические методы. Вероятность и основы статистики. Термины и определения — Терминология ГОСТ Р 50779.10 2000: Статистические методы. Вероятность и основы статистики. Термины и определения оригинал документа: 2.3. (генеральная) совокупность Множество всех рассматриваемых единиц. Примечание Для случайной величины… … Словарь-справочник терминов нормативно-технической документации
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
парадокс — ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки
Tcl — Запрос «TCL» перенаправляется сюда; о минидистрибутиве Linux см. Tiny Core Linux. Tcl Семантика: императивный … Википедия
Квадратное уравнение — Квадратное уравнение алгебраическое уравнение общего вида где свободная переменная, , , коэффициенты, причём Выражение называют квадратным трёхчленом. Корень такого ура … Википедия
TCL — Семантика: императивный, скриптовый Тип исполнения: интерпретатор Появился в: 1988 г. Автор(ы): Джон Остераут Последняя версия: 8.5.7 / 15 апреля 2009 … Википедия
Теория Купмана — Теорией Купмана фон Неймана (KvN теорией) в математической физике называется оригинальная переформулировка классической статистической механики, созданная американскими математиками Джоном фон Нейманом и Бернардом Осгудом Купманом[en] … Википедия